The Computational Content of Classical Arithmetic to Appear in a Festschrift for Grigori Mints

Cut elimination for a simple formulation of epsilon calculus

A simple cut elimination proof for arithmetic with epsilon symbol is used to establish termination of a modified epsilon substitution process. This opens a possibility of extension to much stronger systems.

Cut-elimination for the mu-calculus with one variable

We establish syntactic cut-elimination for the one-variable fragment of the modal mu-calculus. Our method is based on a recent cut-elimination technique by Mints that makes use of Buchholz' Ω-rule.

Selection of Intermodal Conductivity Averaging Scheme for Unsaturated Flow in Homogeneous Media

The nonlinear solvers in numerical solution of water flow in variably saturated soils are prone to convergence difficulties. Many aspects can give rise to such difficulties, like very dry initial conditions, a steep pressure gradient and great variation of hydraulic conductivity occur across the wetting front during the infiltration of water.  So, the averaging method applied to compute hydraul...

Arithmetic Deformation Theory of Lie Algebras

This paper is devoted to deformation theory of graded Lie algebras over Z or Zl with finite dimensional graded pieces. Such deformation problems naturally appear in number theory. In the first part of the paper, we use Schlessinger criteria for functors on Artinian local rings in order to obtain universal deformation rings for deformations of graded Lie algebras and their graded representations...

Epsilon substitution method for elementary analysis